var xsj_1813236 = 9.3;